Abstract type

Results: 1261



#Item
661Object-oriented programming / Polymorphism / Programming language theory / Data types / Java programming language / Covariance and contravariance / Subtype polymorphism / Type system / Wildcard / Software engineering / Type theory / Computing

Mixed-Site Variance Ross Tate Cornell University [removed] Abstract

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-09-24 11:59:54
662Lithium-ion battery / Uninterruptible power supply / Electric vehicle battery / Lithium-ion polymer battery / Battery / Energy / Rechargeable batteries

Energy Solutions 24V Type Standard Battery Packs Using LargeCapacity Laminated Cells ZAMA Koichi, SUZUKI Shin, KASAI Masakatsu, SHIOYA Taishi Abstract This paper introduces 24V type standard battery packs composed of la

Add to Reading List

Source URL: www.nec.com

Language: English - Date: 2012-09-11 09:28:50
663Anaphora / Binding / Antecedent / Relative clause / Pronoun / Singular they / Reflexive pronoun / Gender-neutral pronoun / Donkey pronoun / Linguistics / Syntax / Semantics

FRIEDERIKE MOLTMANN UNBOUND ANAPHORIC PRONOUNS: E-TYPE, DYNAMIC, AND STRUCTURED-PROPOSITIONS APPROACHES∗ ABSTRACT. Unbound anaphoric pronouns or ‘E-type pronouns’ have presented

Add to Reading List

Source URL: semantics.univ-paris1.fr

Language: English - Date: 2011-10-11 08:15:17
664Conjectures / Spectral theory / Algebraic number theory / Brumer–Stark conjecture / Iwasawa theory / Special values of L-functions / Abstract algebra / Algebra / Field theory

Universit¨ at Regensburg Mathematik Equivariant Iwasawa theory and non-abelian Starck-type conjectures

Add to Reading List

Source URL: epub.uni-regensburg.de

Language: English - Date: 2011-12-14 01:51:11
665GUI widget / User interface / X Window System / Software / System software / Graphical user interfaces

The  Speci)ication [Type  the  document  subtitle] [Your  Name] [Pick  the  date] [Type the abstract of the document here. The abstract is typically a short summary of the contents of the document.

Add to Reading List

Source URL: blocnotes.iergo.fr

Language: English - Date: 2013-09-04 10:42:11
666Class field theory / Field theory / Artin reciprocity law / Hilbert class field / Class number formula / Field extension / Conductor / Algebraic number field / Normal extension / Abstract algebra / Algebra / Algebraic number theory

ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS FRANZ LEMMERMEYER Abstract. We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2, 2, 2) whose Hilbert 2-cla

Add to Reading List

Source URL: www.fen.bilkent.edu.tr

Language: English - Date: 2003-09-11 11:03:05
667Asterisk / Email / Font / Publishing / Printing / Typography / Graphic design / Italic type

Third International Conference on Remote Sensing and Geoinformation of the Environment 2015, 16-19 March 2015, Cyprus RSCy 2015 ABSTRACT GUIDELINES (Times New Roman, 14pt, Bold, all capitals, centrally justified) Autho

Add to Reading List

Source URL: www.cyprusremotesensing.com

Language: English - Date: 2014-08-19 09:09:20
668Computer programming / Programming paradigms / Object-oriented programming / Data management / Data type / Abstract object / Class / Type theory / Software engineering / Abstraction / Computing

97 Things Every Programmer Should Know Extended Shirish Padalkar This book is for sale at http://leanpub.com/97-Things-Every-Programmer-Should-Know-Extended This version was published on[removed]This is a Leanpub bo

Add to Reading List

Source URL: samples.leanpub.com

Language: English - Date: 2014-09-22 21:27:49
669Type theory / Object-oriented programming / Trait / Smalltalk / Self / Multiple inheritance / Abstract type / XUnit / Objective-C / Software engineering / Computer programming / Computing

Reusing and Composing Tests with Traits Accepted to TOOLS’2009 Stéphane Ducasse1 , Damien Pollet1 , Alexandre Bergel1 , and Damien Cassou2 1 RMoD team, INRIA Lille – Nord Europe & University of Lille 1

Add to Reading List

Source URL: rmod.lille.inria.fr

Language: English - Date: 2010-06-12 15:39:21
670Graph / Neighbourhood / Clique / Degeneracy / List coloring / Graph theory / Mathematics / Graph coloring

Graph Coloring Algorithms∗ Walter Klotz Abstract Deterministic graph coloring algorithms of contraction and sequential type are investigated. Sequential algorithms can be extended by backtracking to

Add to Reading List

Source URL: www.math.tu-clausthal.de

Language: English
UPDATE